David is a type of Christ